Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
91	Automatic Abstraction in SMT-Based Unbounded Software Model Checking ⋆ Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PA, USA Abstract. Software model che Add to Reading List Source URL: www.cs.cmu.edu - Date: 2013-06-08 14:51:39
92	Automatic Software Verification April 28, 2015 Lecture 6: Bounded Model Checking Lecturer: Mooly Sagiv Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2015-05-27 01:40:48
93	SMT-based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: www.cs.cmu.edu - Date: 2014-08-20 17:05:42
94	Cascade (Competition Contribution) Wei Wang and Clark Barrett New York University Abstract. Cascade is a static program analysis tool developed at New York University. It uses bounded model checking to generate verificat Add to Reading List Source URL: www.cs.nyu.edu - Date: 2015-01-29 13:02:34
95	Parameterized Model Checking of Token-Passing Systems Benjamin Aminof1 , Swen Jacobs2 , Ayrat Khalimov2 , Sasha Rubin1,3 1 ? Add to Reading List Source URL: www.swenjacobs.com - Date: 2013-11-19 05:44:53
96	Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor Enno Ruijters1 , Dennis Guck1 , Peter Drolenga2 , Margot Peters2 , and Mari¨elle Stoelinga1 1: University of Add to Reading List Source URL: fmt.ewi.utwente.nl - Date: 2016-06-13 09:28:43
97	SATCheck: SAT-Directed Stateless Model Checking for SC and TSO tifact * Complete sis Add to Reading List Source URL: plrg.eecs.uci.edu - Date: 2016-10-19 22:44:46
98	What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder TU Wien (Vienna University of Technology) Add to Reading List Source URL: forsyte.at - Date: 2016-03-08 09:52:31
99	A model checking approach for verifying COWS specifications? Alessandro Fantechi1 , Stefania Gnesi2 , Alessandro Lapadula1 , Franco Mazzanti2 , Rosario Pugliese1 , and Francesco Tiezzi1 1 Add to Reading List Source URL: rap.dsi.unifi.it - Date: 2008-01-28 09:31:30
100	Almost-Sure Model-Checking of Reactive Timed Automata Patricia Bouyer∗ , Thomas Brihaye† , Marcin Jurdzi´nski‡ and Quentin Menet† ∗ LSV – CNRS & ENS Cachan – France Add to Reading List Source URL: www.lsv.ens-cachan.fr - Date: 2012-09-14 10:37:26

UPDATE